perm filename HANKS[E86,JMC] blob sn#823389 filedate 1986-08-21 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	hanks[e86,jmc]	Hanks and McDermott, AAAI paper
C00003 ENDMK
CāŠ—;
hanks[e86,jmc]	Hanks and McDermott, AAAI paper

As stated in (McCarthy 1986), which is the final version of the
paper presented at the non-monotonic reasoning conference and to
which Hanks and McDermott refer, simple abnormality theories
were introduced for definiteness.  Even then it was considered
that they would be inadequate.